STRATEGIE AGENTI: [{'condition_action_pairs': [('a', 'B')]}, {'condition_action_pairs': [('a', 'D')]}]
[['II', 'AC,AD', 'BC,BD', 'IC'], [0, 'II', 'AD,BD', 'AC,BC'], ['AC,BD', 'IC', 'II', 'AD,BC'], [0, 'CI', 0, 'II']]
[['s0', 's0', 's0', 's0'], [None, 's1', 's1', 's1'], ['s2', 's2', 's2', 's2'], [None, 's3', None, 's3']]
agent_key:actions_agent1
['B', 'A', 'C']
agent_key:actions_agent2
['D', 'C']
condizione a
a
risultato m_checking{'res': "Result: {'s3', 's0'}", 'initial_state': 'Initial state s0: True'}, statesRES Result: {'s3', 's0'}
state_set: {'s3', 's0'} con iteration 0 action B
states:{'s3', 's0'}
Prima iterazione modify per agente 1
new transition matrix: [['II', 0, 'BC,BD', 'IC'], [0, 'II', 'AD,BD', 'AC,BC'], ['AC,BD', 'IC', 'II', 'AD,BC'], [0, 0, 0, 'II']]
condizione a
a
risultato m_checking{'res': "Result: {'s3', 's0'}", 'initial_state': 'Initial state s0: True'}, statesRES Result: {'s3', 's0'}
state_set: {'s3', 's0'} con iteration 0 action D
states:{'s3', 's0'}
Prima iterazione modify per agente 2
new transition matrix: [['II', 0, 'BD', 0], [0, 'II', 'AD,BD', 'AC,BC'], ['AC,BD', 'IC', 'II', 'AD,BC'], [0, 0, 0, 'II']]
('AF', 'a')
sono dentro
states stringati da node left (in cui è verificato l'atomo: {'s1', 's2'}
transizioni passate in input: [('s0', 's0'), ('s0', 's2'), ('s1', 's1'), ('s1', 's2'), ('s1', 's3'), ('s2', 's0'), ('s2', 's1'), ('s2', 's2'), ('s2', 's3'), ('s3', 's3')]
sto facendo pre, questi sono gli stati in cui la proposizione atomica è valida: {'s1', 's2'}
predecessori nella pre-immagine: {'s1', 's2'}
predecessori nella pre-immagine: {'s1', 's2', 's0'}
transizioni passate in input: [('s0', 's0'), ('s0', 's2'), ('s1', 's1'), ('s1', 's2'), ('s1', 's3'), ('s2', 's0'), ('s2', 's1'), ('s2', 's2'), ('s2', 's3'), ('s3', 's3')]
sto facendo pre, questi sono gli stati in cui la proposizione atomica è valida: {'s0'}
predecessori nella pre-immagine: {'s2', 's0'}
{'res': "Result: {'s0'}", 'initial_state': 'Initial state s0: True'}
Solution: {'res': "Result: {'s0'}", 'initial_state': 'Initial state s0: True'}
flag: True
Solution found!